Results for 'David J. Fernández-Bretón'

961 found
Order:
  1.  10
    Owings-like theorems for infinitely many colours or finite monochromatic sets.David J. Fernández-Bretón, Eliseo Sarmiento Rosales & Germán Vera - 2024 - Annals of Pure and Applied Logic 175 (10):103495.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  13
    Stable ordered union ultrafilters and cov.David José Fernández-bretón - 2019 - Journal of Symbolic Logic 84 (3):1176-1193.
    A union ultrafilter is an ultrafilter over the finite subsets of ω that has a base of sets of the form ${\text{FU}}\left$, where X is an infinite pairwise disjoint family and ${\text{FU}} = \left\{ {\bigcup {F|F} \in [X]^{ < \omega } \setminus \{ \emptyset \} } \right\}$. The existence of these ultrafilters is not provable from the $ZFC$ axioms, but is known to follow from the assumption that ${\text{cov}}\left = \mathfrak{c}$. In this article we obtain various models of $ZFC$ that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  26
    Hindman’s theorem in the hierarchy of choice principles.David Fernández-Bretón - 2023 - Journal of Mathematical Logic 24 (1).
    In the context of [Formula: see text], we analyze a version of Hindman’s finite unions theorem on infinite sets, which normally requires the Axiom of Choice to be proved. We establish the implication relations between this statement and various classical weak choice principles, thus precisely locating the strength of the statement as a weak form of the [Formula: see text].
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  30
    Finiteness classes arising from Ramsey-theoretic statements in set theory without choice.Joshua Brot, Mengyang Cao & David Fernández-Bretón - 2021 - Annals of Pure and Applied Logic 172 (6):102961.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Toward inclusive science education: University scientists' views of students, instructional practices, and the nature of science.Julie A. Bianchini, David J. Whitney, Therese D. Breton & Bryan A. Hilton‐Brown - 2002 - Science Education 86 (1):42-78.
    No categories
     
    Export citation  
     
    Bookmark  
  6.  55
    The omega-rule interpretation of transfinite provability logic.David Fernández-Duque & Joost J. Joosten - 2018 - Annals of Pure and Applied Logic 169 (4):333-371.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  7.  28
    Models of transfinite provability logic.David Fernández-Duque & Joost J. Joosten - 2013 - Journal of Symbolic Logic 78 (2):543-561.
    For any ordinal $\Lambda$, we can define a polymodal logic $\mathsf{GLP}_\Lambda$, with a modality $[\xi]$ for each $\xi < \Lambda$. These represent provability predicates of increasing strength. Although $\mathsf{GLP}_\Lambda$ has no Kripke models, Ignatiev showed that indeed one can construct a Kripke model of the variable-free fragment with natural number modalities, denoted $\mathsf{GLP}^0_\omega$. Later, Icard defined a topological model for $\mathsf{GLP}^0_\omega$ which is very closely related to Ignatiev's. In this paper we show how to extend these constructions for arbitrary $\Lambda$. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  8.  95
    Manipulating the Alpha Level Cannot Cure Significance Testing.David Trafimow, Valentin Amrhein, Corson N. Areshenkoff, Carlos J. Barrera-Causil, Eric J. Beh, Yusuf K. Bilgiç, Roser Bono, Michael T. Bradley, William M. Briggs, Héctor A. Cepeda-Freyre, Sergio E. Chaigneau, Daniel R. Ciocca, Juan C. Correa, Denis Cousineau, Michiel R. de Boer, Subhra S. Dhar, Igor Dolgov, Juana Gómez-Benito, Marian Grendar, James W. Grice, Martin E. Guerrero-Gimenez, Andrés Gutiérrez, Tania B. Huedo-Medina, Klaus Jaffe, Armina Janyan, Ali Karimnezhad, Fränzi Korner-Nievergelt, Koji Kosugi, Martin Lachmair, Rubén D. Ledesma, Roberto Limongi, Marco T. Liuzza, Rosaria Lombardo, Michael J. Marks, Gunther Meinlschmidt, Ladislas Nalborczyk, Hung T. Nguyen, Raydonal Ospina, Jose D. Perezgonzalez, Roland Pfister, Juan J. Rahona, David A. Rodríguez-Medina, Xavier Romão, Susana Ruiz-Fernández, Isabel Suarez, Marion Tegethoff, Mauricio Tejo, Rens van de Schoot, Ivan I. Vankov, Santiago Velasco-Forero, Tonghui Wang, Yuki Yamada, Felipe C. M. Zoppino & Fernando Marmolejo-Ramos - 2018 - Frontiers in Psychology 9.
  9.  52
    Hyperations, Veblen progressions and transfinite iteration of ordinal functions.David Fernández-Duque & Joost J. Joosten - 2013 - Annals of Pure and Applied Logic 164 (7-8):785-801.
    Ordinal functions may be iterated transfinitely in a natural way by taking pointwise limits at limit stages. However, this has disadvantages, especially when working in the class of normal functions, as pointwise limits do not preserve normality. To this end we present an alternative method to assign to each normal function f a family of normal functions Hyp[f]=〈fξ〉ξ∈OnHyp[f]=〈fξ〉ξ∈On, called its hyperation, in such a way that f0=idf0=id, f1=ff1=f and fα+β=fα∘fβfα+β=fα∘fβ for all α, β.Hyperations are a refinement of the Veblen hierarchy (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10.  13
    Kripke Models of Transfinite Provability Logic.David Fernández-Duque & Joost J. Joosten - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 185-199.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  67
    On Provability Logics with Linearly Ordered Modalities.Lev D. Beklemishev, David Fernández-Duque & Joost J. Joosten - 2014 - Studia Logica 102 (3):541-566.
    We introduce the logics GLP Λ, a generalization of Japaridze’s polymodal provability logic GLP ω where Λ is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall provide a reduction of these logics to GLP ω yielding among other things a finitary proof of the normal form theorem for the variable-free fragment of GLP Λ and the decidability of GLP Λ for recursive orderings Λ. Further, we give a restricted axiomatization of the variable-free fragment (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  12.  19
    Kripke Models of Transfinite Provability Logic.David Fernández-Duque & Joost J. Joosten - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 185-199.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  30
    Predicativity through transfinite reflection.Andrés Cordón-Franco, David Fernández-Duque, Joost J. Joosten & Francisco Félix Lara-martín - 2017 - Journal of Symbolic Logic 82 (3):787-808.
    Let T be a second-order arithmetical theory, Λ a well-order, λ < Λ and X ⊆ ℕ. We use $[\lambda |X]_T^{\rm{\Lambda }}\varphi$ as a formalization of “φ is provable from T and an oracle for the set X, using ω-rules of nesting depth at most λ”.For a set of formulas Γ, define predicative oracle reflection for T over Γ ) to be the schema that asserts that, if X ⊆ ℕ, Λ is a well-order and φ ∈ Γ, then$$\forall \,\lambda (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  22
    Compression as a Universal Principle of Animal Behavior.Ramon Ferrer-I.-Cancho, Antoni Hernández-Fernández, David Lusseau, Govindasamy Agoramoorthy, Minna J. Hsu & Stuart Semple - 2013 - Cognitive Science 37 (8):1565-1578.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  15.  77
    Compression as a Universal Principle of Animal Behavior.Ramon Ferrer‐I.‐Cancho, Antoni Hernández‐Fernández, David Lusseau, Govindasamy Agoramoorthy, Minna J. Hsu & Stuart Semple - 2013 - Cognitive Science 37 (8):1565-1578.
    A key aim in biology and psychology is to identify fundamental principles underpinning the behavior of animals, including humans. Analyses of human language and the behavior of a range of non-human animal species have provided evidence for a common pattern underlying diverse behavioral phenomena: Words follow Zipf's law of brevity (the tendency of more frequently used words to be shorter), and conformity to this general pattern has been seen in the behavior of a number of other animals. It has been (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  16.  30
    Darwinism, Democracy, and Race: American Anthropology and Evolutionary Biology in the Twentieth Century.John P. Jackson & David J. Depew - 2017 - New York: Routledge. Edited by David J. Depew.
    Darwinism, Democracy, and Race examines the development and defence of an argument that arose at the boundary between anthropology and evolutionary biology in twentieth-century America. In its fully articulated form, this argument simultaneously discredited scientific racism and defended free human agency in Darwinian terms. The volume is timely because it gives readers a key to assessing contemporary debates about the biology of race. By working across disciplinary lines, the book's focal figures--the anthropologist Franz Boas, the cultural anthropologist Alfred Kroeber, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  17.  26
    Contingent Materialism.Robert Foelber & David J. Cole - 2017 - Pacific Philosophical Quarterly 65 (1):74-85.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  30
    More Than Words: Extra-Sylvian Neuroanatomic Networks Support Indirect Speech Act Comprehension and Discourse in Behavioral Variant Frontotemporal Dementia.Meghan Healey, Erica Howard, Molly Ungrady, Christopher A. Olm, Naomi Nevler, David J. Irwin & Murray Grossman - 2021 - Frontiers in Human Neuroscience 14.
    Indirect speech acts—responding “I forgot to wear my watch today” to someone who asked for the time—are ubiquitous in daily conversation, but are understudied in current neurobiological models of language. To comprehend an indirect speech act like this one, listeners must not only decode the lexical-semantic content of the utterance, but also make a pragmatic, bridging inference. This inference allows listeners to derive the speaker’s true, intended meaning—in the above dialog, for example, that the speaker cannot provide the time. In (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  16
    We Don’t Offer What Can’t Be Chosen: Why Harmful Consequences Should Not Be “Decisive” in Assessing Decision-Making.Philip Day, Marc Tunzi & David J. Satin - 2022 - American Journal of Bioethics 22 (10):60-62.
    In this Open Peer Commentary, we draw on our clinical experience to argue that instrumental paternalism carves a pathway to competent refusal of medical intervention. Whether C successfully navigat...
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  64
    Adverse Selection in the Children’s Health Insurance Program.A. Morrisey Michael, Blackburn Justin, J. Becker David, Sen Bisakha, L. Kilgore Meredith, Caldwell Cathy & Menachemi Nir - 2015 - Inquiry: The Journal of Health Care Organization, Provision, and Financing 52:004695801559355.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  30
    Conversations with Nietzsche: A Life in the Words of His Contemporaries.Sander L. Gilman & David J. Parent (eds.) - 1987 - New York: Oup Usa.
    These eighty-seven memoirs, anecdotes, and informal recollections by a broad range of reporters reflect both the reality and the myths surrounding this legendary figure. Together, they cover the entire span of Nietzsche's life and yield new insights into Nietzsche as a thinker and as a commentator on his times, recounting his views on religion, philosophy, women, literature, arts, and some of the great thinkers and historical figures.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  22. “A sketch is like a sentence”: Curriculum structures that support teaching epistemic practices of science.Mark Enfield, Edward L. Smith & David J. Grueber - 2008 - Science Education 92 (4):608-630.
    No categories
     
    Export citation  
     
    Bookmark  
  23.  49
    Estimating frontal and parietal involvement in cognitive estimation: a study of focal neurodegenerative diseases.Teagan A. Bisbing, Christopher A. Olm, Corey T. McMillan, Katya Rascovsky, Laura Baehr, Kylie Ternes, David J. Irwin, Robin Clark & Murray Grossman - 2015 - Frontiers in Human Neuroscience 9.
  24.  13
    Three Notes from Our Readers.Peter J. Cataldo, William E. May & David J. Mullen - 2001 - Ethics and Medics 26 (11):3-4.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. Are Universities Redundant?James Arvanitakis & David J. Hornsby - 2016 - In James Arvanitakis & David J. Hornsby, Universities, the citizen scholar and the future of higher education. New York, NY: Palgrave-Macmillan.
     
    Export citation  
     
    Bookmark  
  26.  9
    Universities, the citizen scholar and the future of higher education.James Arvanitakis & David J. Hornsby (eds.) - 2016 - New York, NY: Palgrave-Macmillan.
    The future of higher education is in question as universities struggle to remain relevant to the present and future needs of society. The context in which learning occurs is rapidly changing and those engaged and interested in the place and position of university education need to figure out to adapt. This book embodies a vision for higher education where graduate attributes and proficiencies are at the core of the academic project, where degree programs move beyond disciplinary content and where students (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  43
    Case Study: A Request for ICSI.Erika Blacksher, John Yeast & David J. Waxse - 2000 - Hastings Center Report 30 (2):23.
  28.  73
    Andrianou, Dimitra. The Furniture and Furnishings of Ancient Greek Houses and Tombs. Cambridge: Cambridge University Press, 2009. xvi+ 213 pp. 24 black-and-white figs. Cloth, $80. Andrisano, Angela Maria, and Paolo Fabbri, eds. La favola di Orfeo: Letteratura, immagine, performance. Ferrara: UnifePress, 2009. 255 pp. 41 black-and-white. [REVIEW]Victor Bers, Rachel Bowlby, Claude Calame, Viccy Coltman, Katharina Comoth & Joan Breton Connelly - 2010 - American Journal of Philology 131 (2):345-347.
    In lieu of an abstract, here is a brief excerpt of the content:Books ReceivedAndrianou, Dimitra. The Furniture and Furnishings of Ancient Greek Houses and Tombs. Cambridge: Cambridge University Press, 2009. xvi + 213 pp. 24 black-and-white figs. Cloth, $80.Andrisano, Angela Maria, and Paolo Fabbri, eds. La favola di Orfeo: Letteratura, immagine, performance. Ferrara: UnifePress, 2009. 255 pp. 41 black-and-white figs. Paper, €15.Bartsch, Shadi, and David Wray, eds. Seneca and the Self. Cambridge: Cambridge University Press, 2009. ix + 304 pp. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. (1 other version)Studies in Presocratic Philosophy Edited by David J. Furley and R.E. Allen. --.David J. Furley & Reginald E. Allen - 1970 - Routledge and Kegan Paul.
  30.  26
    Book Review Section 4. [REVIEW]Phyllis A. Katz, F. Raymond Mckenna, H. George Bonekemper, Charles E. Alberti, Larry L. Lorten, Richard H. Cummings, Richard S. Prawat, John P. Rickards, Joseph L. Devitis, Judith W. Leslie, Charles K. West, George F. Luger, David J. Kleinke, William E. Loadman & Laura D. Harckham - unknown
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  47
    The Illusion of 'Rational' SuicideSuicide: The Philosophical Issues. [REVIEW]David Peretz, M. Pabst Battin & David J. Mayo - 1981 - Hastings Center Report 11 (6):40.
  32.  51
    Book reviews. [REVIEW]Erwin M. Segal, Meredith Williams, David J. Cole, James Geller, Yorick Wilks, Shoshana Loeb, Kim Sterelny, Jerry Fodor, Sara Heinämaa & Ausonio Marras - 1993 - Minds and Machines 3 (3):335-375.
  33. Could a large language model be conscious?David J. Chalmers - 2023 - Boston Review 1.
    [This is an edited version of a keynote talk at the conference on Neural Information Processing Systems (NeurIPS) on November 28, 2022, with some minor additions and subtractions.] -/- There has recently been widespread discussion of whether large language models might be sentient or conscious. Should we take this idea seriously? I will break down the strongest reasons for and against. Given mainstream assumptions in the science of consciousness, there are significant obstacles to consciousness in current models: for example, their (...)
    Direct download  
     
    Export citation  
     
    Bookmark   40 citations  
  34. Phenomenal Structuralism.David J. Chalmers - 2012 - In David Chalmers, Constructing the World. Oxford: Oxford University Press. pp. 412-422.
    Direct download  
     
    Export citation  
     
    Bookmark   171 citations  
  35. Writing visual histories : an interview with David J. Staley.Charles Travis & David J. Staley - 2013 - In Alexander von Lünen & Charles Travis, History and GIS: epistemologies, considerations and reflections. Dordrecht: Springer.
     
    Export citation  
     
    Bookmark  
  36. Susceptibility to Punishment: A Response to Yaffe.David J. Anderson - 2008 - Locke Studies 8:101-106.
     
    Export citation  
     
    Bookmark   1 citation  
  37. (1 other version)Why Isn't There More Progress in Philosophy?David J. Chalmers - 2015 - Philosophy 90 (1):3-31.
    Is there progress in philosophy? A glass-half-full view is that there is some progress in philosophy. A glass-half-empty view is that there is not as much as we would like. I articulate a version of the glass-half-empty view, argue for it, and then address the crucial question of what explains it.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   87 citations  
  38. (1 other version)Adapting Minds: Evolutionary Psychology and the Persistent Quest for Human Nature.David J. Buller - 2005 - MIT Press.
    In the carefully argued central chapters of Adapting Minds, Buller scrutinizes several of evolutionary psychology's most highly publicized "...
  39.  32
    The Authority of the Clinical Ethicist.David J. Casarett, Frona Daskal & John Lantos - 1998 - Hastings Center Report 28 (6):6.
  40.  7
    Diderot, dialogue & debate.David J. Adams - 1986 - Liverpool, Great Britain: F. Cairns.
    Diderot is widely praised as a master of lively, dramatic and original dialogue. This book studies the developing role of dialogue in his early writings (1745 to 1754). Diderot's earlier experiments with the dialogue form, meticulously charted and analysed by D. J. Adams, opened the way to the exploration of human communication and cooperation which lies at the heart of the Encyclopédie. At first for Diderot dialogue ended in the triumph of monologue, with one speaker reducing another to silence. But (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Consciousness and the Collapse of the Wave Function.David J. Chalmers & Kelvin J. McQueen - 2022 - In Shan Gao, Consciousness and Quantum Mechanics. Oxford University Press, Usa.
    Does consciousness collapse the quantum wave function? This idea was taken seriously by John von Neumann and Eugene Wigner but is now widely dismissed. We develop the idea by combining a mathematical theory of consciousness (integrated information theory) with an account of quantum collapse dynamics (continuous spontaneous localization). Simple versions of the theory are falsified by the quantum Zeno effect, but more complex versions remain compatible with empirical evidence. In principle, versions of the theory can be tested by experiments with (...)
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  42. Job 1—20.David J. A. Clines - 1989
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  43. The computational and the representational language-of-thought hypotheses.David J. Chalmers - 2023 - Behavioral and Brain Sciences 46:e269.
    There are two versions of the language-of-thought hypothesis (LOT): Representational LOT (roughly, structured representation), introduced by Ockham, and computational LOT (roughly, symbolic computation) introduced by Fodor. Like many others, I oppose the latter but not the former. Quilty-Dunn et al. defend representational LOT, but they do not defend the strong computational LOT thesis central to the classical-connectionist debate.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  44. Propositional interpretability in artificial intelligence.David J. Chalmers - manuscript
    Mechanistic interpretability is the program of explaining what AI systems are doing in terms of their internal mechanisms. I analyze some aspects of the program, along with setting out some concrete challenges and assessing progress to date. I argue for the importance of propositional interpretability, which involves interpreting a system’s mechanisms and behav- ior in terms of propositional attitudes: attitudes (such as belief, desire, or subjective probabil- ity) to propositions (e.g. the proposition that it is hot outside). Propositional attitudes are (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. Does thought require sensory grounding? From pure thinkers to large language models.David J. Chalmers - 2023 - Proceedings and Addresses of the American Philosophical Association 97:22-45.
    Does the capacity to think require the capacity to sense? A lively debate on this topic runs throughout the history of philosophy and now animates discussions of artificial intelligence. Many have argued that AI systems such as large language models cannot think and understand if they lack sensory grounding. I argue that thought does not require sensory grounding: there can be pure thinkers who can think without any sensory capacities. As a result, the absence of sensory grounding does not entail (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  46.  5
    Das interreligiöse Gespräch: methodologische Grundlagen der Theologie der Religionen.David J. Krieger - 1986
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  40
    Communication Breakdown.David J. Leichter - 2019 - Social Philosophy Today 35:59-73.
    The turn to narrative in biomedicine has been one of the most important alternatives to traditional approaches to bioethics. Rather than using ethical theories and principles to guide behavior, narrative ethics uses the moral imagination to cultivate and expand one’s capacities for empathy. This paper argues that by themselves narratives do not, and cannot, fully capture the range of the illness experience. But more than that, the emphasis on narrative often obscures how dominant forms of narrative discourse often operate to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48. The Philosophy and Theology of Fyodor Dostoevsky.David J. Leigh - 2010 - Ultimate Reality and Meaning 33 (1-2):85-103.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  22
    Liberalism, politics and anti‐politics.David J. Levy - 1989 - Critical Review: A Journal of Politics and Society 3 (2):336-347.
    THE SELF, THE INDIVIDUAL AND THE COMMUNITY: LIBERALISM IN THE POLITICAL THOUGHT OF F. A. HAYEK AND SIDNEY AND BEATRICE WEBB by Brian Lee Crowley New York: Oxford University Press, 1987. 310 pp., $59.00.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  19
    Politics, Nature and Freedom: On the Natural Foundation of the Political Condition.David J. Levy - 1984 - Journal of the British Society for Phenomenology 15 (3):286-300.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 961